منابع مشابه
Axiomatising Divergence
This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time – branching time spectrum with silent moves, partially solving an open problem posed in [5].
متن کاملAxiomatising ST-Bisimulation Equivalence
A simple ST operational semantics for a process algebra is provided, by defining a set of operational rules in Plotkin’s style. This algebra comprises TCSP parallel composition, ACP sequential composition and a refinement operator, which is used for replacing an action with an entire process, thus permitting hierarchical specification of systems. We prove that ST-bisimulation equivalence is a c...
متن کاملAxiomatising Dynamic Logics for Anaphora
A new task put on the agenda of philosophical logic by the recent dynamic turn, the account for the dynamics of anaphoric context shifts in reasoning, is taken up. The paper gives a sequent axiomatisation of some well known dynamic anaphora logics. The calculi are shown to be sound and complete. They differ from earlier calculi for the dynamics of anaphoric context in that they take the notion ...
متن کاملNotes on axiomatising Hurkens's Paradox
An axiomatisation of Hurkens’s paradox in dependent type theory is given without assuming any impredicative feature of said type theory. Hurkens’s paradox [8] is a very economic, though rather hard to understand, paradox of the U− impredicative type theory, described in Section 1.1, whose main characteristic is to feature to nested impredicative sorts. Its terseness makes it the weapon of choic...
متن کاملThe eval Symbol for Axiomatising Variadic Functions
This paper describes (and constitutes the source for!) the proposed list4 OpenMath content dictionary. The main feature in this content dictionary is the eval symbol, which treats a list of values as the list of children of an application element. This may, among other things, be employed to state properties of variadic functions. 1 Background and motivation OpenMath is a formal language for (p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2005
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.05.007